home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / 93src.lha / src / basics / variables.sml < prev   
Encoding:
Text File  |  1993-01-27  |  618 b   |  25 lines
  1. (* Copyright 1990 by AT&T Bell Laboratories *)
  2. (* variables.sig *)
  3.  
  4. structure Variables : VARIABLES =
  5. struct
  6.  
  7.     datatype var
  8.       = VALvar of                       (* ordinary variables *)
  9.       {access : Access.access,
  10.        name : Symbol.symbol list,
  11.        typ : Types.ty ref}
  12.       | OVLDvar of                           (* overloaded identifier *)
  13.       {name : Symbol.symbol,
  14.        options: {indicator: Types.ty, variant: var} list ref,
  15.        scheme: Types.tyfun}
  16.       | ERRORvar
  17.  
  18.   (* building variables *)
  19.  
  20.     fun mkVALvar id =
  21.     VALvar{access = Access.PATH[Access.namedLvar(id)], name = [id], 
  22.            typ = ref Types.UNDEFty}
  23.  
  24. end
  25.